41. Algebraic methodology and software technology
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Software engineering ; Congresses. ; Abstract data types (Computer science) ; Congresses. ; Abstract data types (Computer science) ; fast ; (OCoLC)fst00794745. ; Software engineering. ; fast ; (OCoLC)fst01124185. ; Algebraische Methode. ; swd. ; Softwaree
![](/design/images/bookmore.png)
42. Applied Informatics and Communication
پدیدآورنده :
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science -- Congresses,Computer networks -- Congresses,Software engineering -- Congresses,علوم کامپیوتر -- کنگرهها,شبکههای کامپیوتری -- کنگرهها,نرمافزار -- مهندسی -- کنگرهها
رده :
E-Book
,
![](/design/images/bookmore.png)
43. Architecting critical systems
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : tolerant computing ; Congresses. ; Software engineering ; Congresses. ; System design ; Congresses. ; Tol?rance aux fautes (informatique) ; Congr?s. ; ram. ; Architecture des ordinateurs ; Congr?s. ; ram. ; Syst-Computer architecture ; Congresses. ; Fault
![](/design/images/bookmore.png)
44. Architecting critical systems
پدیدآورنده : / Holger Giese (ed.
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Fault-tolerant computing, Congresses,Computer architecture, Congresses,System design, Congresses,Software engineering, Congresses
رده :
QA76
.
9
.
F38I83
2010
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
45. Artificial intelligence methods in intelligent algorithms :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Software engineering ; Congresses. ;
![](/design/images/bookmore.png)
46. Automated Reasoning with Analytic Tableaux and Related Methods
پدیدآورنده : \ Hans De Nivelle (Ed.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Automatic theorem proving -- Congresses.,Programming Techniques.,Software engineering.,مهندسی نرم افزار
رده :
QA
76
.
9
.
A96
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
47. Automated deduction in geometr
پدیدآورنده : / Pascal Schreck, Julien Narboux, Jeurgen Richter-Gebert (eds.
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Geometry, Data processing, Congresses,Automatic theorem proving, Congresses,Computer science,Software engineering,Computational complexity,Artificial intelligence,Computer graphics,Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Symbolic and Algebraic Manipulation,Discrete Mathematics in Computer Science,Electronic books
رده :
QA448
.
D38
,
I58
2011
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
48. Balancing agility and formalism in software engineering
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Software engineering ; Congresses. ; Computer software ; Development ; Congresses. ;
![](/design/images/bookmore.png)
49. Central European Functional Programming School
پدیدآورنده : \ Viktória Zsók , Zoltán Horváth, Lehel Csató (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Functional programming (Computer science) -- Congresses.,Programming Techniques.,Software engineering.,نرمافزار -- مهندسی
رده :
QA
76
.
62
.
C4
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
50. Communication, smart technologies and innovation for society :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Software engineering ; Congresses. ;
![](/design/images/bookmore.png)
51. Component-Based Software Engineering
پدیدآورنده :
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Software engineering -- Congresses,نرمافزار -- مهندسی -- کنگرهها
رده :
E-Book
,
![](/design/images/bookmore.png)
52. Component-based software engineering
پدیدآورنده : / Lars Grunske, Ralf Reussner, Frantisek Plasil (eds.
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Software engineering, Congresses
رده :
QA76
.
758
.
C66
2010
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
53. Component-based software engineering. 11th international symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, proceedings
پدیدآورنده : CBSE 8002)8002 :Karlsruhe, Germany(
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، Software engineering Congresses,، Component software Congresses
رده :
QA
76
.
758
.
C39
2008
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
54. Computational statistics and mathematical modeling methods in intelligent systems :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Software engineering ; Congresses. ;
![](/design/images/bookmore.png)
55. Computers in design, manufacturing, and production : 1993 CompEuro proceedings, May 24-27, 1993, Paris-Evry, France
پدیدآورنده : Comp Euro, )7th : 1993 : Paris, France, and Evry, Essonne, France(
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Computers - Congresses , Software engineering - Congresses
رده :
QA
76
.
5
.
C6122
1993
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
56. Computers in design, manufacturing, and production : 1993 CompEuro proceedings, May 24- 27, 1993, Paris- Evry, France
پدیدآورنده : Comp Euro )7th : 3991 : Paris, France, and Evry, Essonne, France(
کتابخانه: Library of Niroo Research Institue (Tehran)
موضوع : ، Computers- Congresses,، Software engineering- Congresses
![](/design/images/bookmore.png)
57. Current trends in web engineering
پدیدآورنده : / Michael Grossniklaus, Manuel Wimmer (eds.
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : World Wide Web--Congresses,Software engineering--Congresses,Web applications--Congresses,Social media--Congresses
رده :
TK5105
.
888
.
I29
2012
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
58. Dependable Software Engineering
پدیدآورنده : \ Xuandong Li , Zhiming Liu , Wang Yi (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science,کامپیوتر,a04,a04,Software engineering -- Congresses.,Software engineering.,نرمافزار -- مهندسی-- کنگرهها ,مهندسی نرم افزار
رده :
QA
76
.
758
.
D4
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
59. Dependable software engineering :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Software engineering ; Congresses. ;
![](/design/images/bookmore.png)
60. Dependable software engineering :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Software engineering ; Congresses. ;
![](/design/images/bookmore.png)